Goto

Collaborating Authors

 pnueli and rosner 1989


From Automated Verification to Automated Design

AAAI Conferences

Communications frequent criticism against this approach, however, is that verification Research Division, Institute for Defense Analysis, is done after significant resources have already been 1957.